Approximate probabilistic verification of hybrid systems

Hybrid systems whose mode dynamics are governed by non-linear ordinary differential equations (ODEs) are often a natural model for biological processes. However such models are difficult to analyze. To address this, we develop a probabilistic analysis method by approximating the mode transitions as stochastic events. We assume that the probability of making a mode transition is proportional to the measure of the set of pairs of time points and value states at which the mode transition is enabled. To ensure a sound mathematical basis, we impose a natural continuity property on the non-linear ODEs. We also assume that the states of the system are observed at discrete time points but that the mode transitions may take place at any time between two successive discrete time points. This leads to a discrete time Markov chain as a probabilistic approximation of the hybrid system. We then show that for BLTL (bounded linear time temporal logic) specifications the hybrid system meets a specification iff its Markov chain approximation meets the same specification with probability $1$. Based on this, we formulate a sequential hypothesis testing procedure for verifying -approximately- that the Markov chain meets a BLTL specification with high probability. Our case studies on cardiac cell dynamics and the circadian rhythm indicate that our scheme can be applied in a number of realistic settings

Ensemble Place Codes in Hippocampus: CA1, CA3, and Dentate Gyrus Place Cells Have Multiple Place Fields in Large Environments

Previously we reported that the hippocampus place code must be an ensemble code because place cells in the CA1 region of hippocampus have multiple place fields in a more natural, larger-than-standard enclosure with stairs that permitted movements in 3-D. Here, we further investigated the nature of hippocampal place codes by characterizing the spatial firing properties of place cells in the CA1, CA3, and dentate gyrus (DG) hippocampal subdivisions as rats foraged in a standard 76-cm cylinder as well as a larger-than-standard box (1.8 m×1.4 m) that did not have stairs or any internal structure to permit movements in 3-D. The rats were trained to forage continuously for 1 hour using computer-controlled food delivery. We confirmed that most place cells have single place fields in the standard cylinder and that the positional firing pattern remapped between the cylinder and the large enclosure. Importantly, place cells in the CA1, CA3 and DG areas all characteristically had multiple place fields that were irregularly spaced, as we had reported previously for CA1. We conclude that multiple place fields are a fundamental characteristic of hippocampal place cells that simplifies to a single field in sufficiently small spaces. An ensemble place code is compatible with these observations, which contradict any dedicated coding scheme

OX40 and 4-1BB delineate distinct immune profiles in sarcoma.

Systemic relapse after radiotherapy and surgery is the major cause of disease-related mortality in sarcoma patients. Combining radiotherapy and immunotherapy is under investigation as a means to improve response rates. However, the immune contexture of sarcoma is understudied. Here, we use a retrospective cohort of sarcoma patients, treated with neoadjuvant radiotherapy, and TCGA data. We explore therapeutic targets of relevance to sarcoma, using genomics and multispectral immunohistochemistry to provide insights into the tumor immune microenvironment across sarcoma subtypes. Differential gene expression between radioresponsive myxoid liposarcoma (MLPS) and more radioresistant undifferentiated pleomorphic sarcoma (UPS) indicated UPS contained higher transcript levels of a number of immunotherapy targets (CD73/NT5E, CD39/ENTPD1, CD25/IL2RA, and 4-1BB/TNFRSF9). We focused on 4-1BB/TNFRSF9 and other costimulatory molecules. In TCGA data, 4-1BB correlated to an inflamed and exhausted phenotype. OX40/TNFRSF4 and 4-1BB/TNFRSF9 were highly expressed in sarcoma subtypes versus other cancers. Despite OX40 and 4-1BB being described as Treg markers, we identified that they delineate distinct tumor immune profiles. This was true for sarcoma and other cancers. While only a limited number of samples could be analyzed, spatial analysis of OX40 expression identified two diverse phenotypes of OX40+ Tregs, one associated with and one independent of tertiary lymphoid structures (TLSs). Patient stratification is of intense interest for immunotherapies. We provide data supporting the viewpoint that a cohort of sarcoma patients, appropriately selected, are promising candidates for immunotherapies. Spatial profiling of OX40+ Tregs, in relation to TLSs, could be an additional metric to improve future patient stratification

Statistical Inference for Multi-Pathogen Systems

There is growing interest in understanding the nature and consequences of interactions among infectious agents. Pathogen interactions can be operational at different scales, either within a co-infected host or in host populations where they co-circulate, and can be either cooperative or competitive. The detection of interactions among pathogens has typically involved the study of synchrony in the oscillations of the protagonists, but as we show here, phase association provides an unreliable dynamical fingerprint for this task. We assess the capacity of a likelihood-based inference framework to accurately detect and quantify the presence and nature of pathogen interactions on the basis of realistic amounts and kinds of simulated data. We show that when epidemiological and demographic processes are well understood, noisy time series data can contain sufficient information to allow correct inference of interactions in multi-pathogen systems. The inference power is dependent on the strength and time-course of the underlying mechanism: stronger and longer-lasting interactions are more easily and more precisely quantified. We examine the limitations of our approach to stochastic temporal variation, under-reporting, and over-aggregation of data. We propose that likelihood shows promise as a basis for detection and quantification of the effects of pathogen interactions and the determination of their (competitive or cooperative) nature on the basis of population-level time-series data

Minocycline Synergizes with N-Acetylcysteine and Improves Cognition and Memory Following Traumatic Brain Injury in Rats

Background: There are no drugs presently available to treat traumatic brain injury (TBI). A variety of single drugs have failed clinical trials suggesting a role for drug combinations. Drug combinations acting synergistically often provide the greatest combination of potency and safety. The drugs examined (minocycline (MINO), N-acetylcysteine (NAC), simvastatin, cyclosporine A, and progesterone) had FDA-approval for uses other than TBI and limited brain injury in experimental TBI models. Methodology/Principal Findings: Drugs were dosed one hour after injury using the controlled cortical impact (CCI) TBI model in adult rats. One week later, drugs were tested for efficacy and drug combinations tested for synergy on a hierarchy of behavioral tests that included active place avoidance testing. As monotherapy, only MINO improved acquisition of the massed version of active place avoidance that required memory lasting less than two hours. MINO-treated animals, however, were impaired during the spaced version of the same avoidance task that required 24-hour memory retention. Coadministration of NAC with MINO synergistically improved spaced learning. Examination of brain histology 2 weeks after injury suggested that MINO plus NAC preserved white, but not grey matter, since lesion volume was unaffected, yet myelin loss was attenuated. When dosed 3 hours before injury, MINO plus NAC as single drugs had no effect on interleukin-1 formation; together they synergistically lowered interleukin-1 levels. This effect on interleukin-1 was not observed when th

Anti-dsDNA Antibodies Promote Initiation, and Acquired Loss of Renal Dnase1 Promotes Progression of Lupus Nephritis in Autoimmune (NZBxNZW)F1 Mice

BACKGROUND:Lupus nephritis is characterized by deposition of chromatin fragment-IgG complexes in the mesangial matrix and glomerular basement membranes (GBM). The latter defines end-stage disease. METHODOLOGY/PRINCIPALS: In the present study we determined the impact of antibodies to dsDNA, renal Dnase1 and matrix metalloprotease (MMP) mRNA levels and enzyme activities on early and late events in murine lupus nephritis. The major focus was to analyse if these factors were interrelated, and if changes in their expression explain basic processes accounting for lupus nephritis. FINDINGS:Early phases of nephritis were associated with chromatin-IgG complex deposition in the mesangial matrix. A striking observation was that this event correlated with appearance of anti-dsDNA antibodies and mild or clinically silent nephritis. These events preceded down-regulation of renal Dnase1. Later, renal Dnase1 mRNA level and enzyme activity were reduced, while MMP2 mRNA level and enzyme activity increased. Reduced levels of renal Dnase1 were associated in time with deficient fragmentation of chromatin from dead cells. Large fragments were retained and accumulated in GBM. Also, since chromatin fragments are prone to stimulate Toll-like receptors in e.g. dendritic cells, this may in fact explain increased expression of MMPs. SIGNIFICANCE:These scenarios may explain the basis for deposition of chromatin-IgG complexes in glomeruli in early and late stages of nephritis, loss of glomerular integrity and finally renal failure

Tissue Compartment Analysis for Biomarker Discovery by Gene Expression Profiling

BACKGROUND:Although high throughput technologies for gene profiling are reliable tools, sample/tissue heterogeneity limits their outcomes when applied to identify molecular markers. Indeed, inter-sample differences in cell composition contribute to scatter the data, preventing detection of small but relevant changes in gene expression level. To date, attempts to circumvent this difficulty were based on isolation of the different cell structures constituting biological samples. As an alternate approach, we developed a tissue compartment analysis (TCA) method to assess the cell composition of tissue samples, and applied it to standardize data and to identify biomarkers. METHODOLOGY/PRINCIPAL FINDINGS:TCA is based on the comparison of mRNA expression levels of specific markers of the different constitutive structures in pure isolated structures, on the one hand, and in the whole sample on the other. TCA method was here developed with human kidney samples, as an example of highly heterogeneous organ. It was validated by comparison of the data with those obtained by histo-morphometry. TCA demonstrated the extreme variety of composition of kidney samples, with abundance of specific structures varying from 5 to 95% of the whole sample. TCA permitted to accurately standardize gene expression level amongst >100 kidney biopsies, and to identify otherwise imperceptible molecular disease markers. CONCLUSIONS/SIGNIFICANCE:Because TCA does not require specific preparation of sample, it can be applied to all existing tissue or cDNA libraries or to published data sets, inasmuch specific operational compartments markers are available. In human, where the small size of tissue samples collected in clinical practice accounts for high structural diversity, TCA is well suited for the identification of molecular markers of diseases, and the follow up of identified markers in single patients for diagnosis/prognosis and evaluation of therapy efficiency. In laboratory animals, TCA will interestingly be applied to central nervous system where tissue heterogeneity is a limiting factor

Innate recognition of water bodies in echolocating bats

In the course of their lives, most animals must find different specific habitat and microhabitat types for survival and reproduction. Yet, in vertebrates, little is known about the sensory cues that mediate habitat recognition. In free flying bats the echolocation of insect-sized point targets is well understood, whereas how they recognize and classify spatially extended echo targets is currently unknown. In this study, we show how echolocating bats recognize ponds or other water bodies that are crucial for foraging, drinking and orientation. With wild bats of 15 different species (seven genera from three phylogenetically distant, large bat families), we found that bats perceived any extended, echo-acoustically smooth surface to be water, even in the presence of conflicting information from other sensory modalities. In addition, naive juvenile bats that had never before encountered a water body showed spontaneous drinking responses from smooth plates. This provides the first evidence for innate recognition of a habitat cue in a mammal

Using computer-aided detection in mammography as a decision support

Contains fulltext : 87548.pdf (publisher's version ) (Closed access)OBJECTIVE: To evaluate an interactive computer-aided detection (CAD) system for reading mammograms to improve decision making. METHODS: A dedicated mammographic workstation has been developed in which readers can probe image locations for the presence of CAD information. If present, CAD findings are displayed with the computed malignancy rating. A reader study was conducted in which four screening radiologists and five non-radiologists participated to study the effect of this system on detection performance. The participants read 120 cases of which 40 cases had a malignant mass that was missed at the original screening. The readers read each mammogram both with and without CAD in separate sessions. Each reader reported localized findings and assigned a malignancy score per finding. Mean sensitivity was computed in an interval of false-positive fractions less than 10%. RESULTS: Mean sensitivity was 25.1% in the sessions without CAD and 34.8% in the CAD-assisted sessions. The increase in detection performance was significant (p = 0.012). Average reading time was 84.7 +/- 61.5 s/case in the unaided sessions and was not significantly higher when interactive CAD was used (85.9 +/- 57.8 s/case). CONCLUSION: Interactive use of CAD in mammography may be more effective than traditional CAD for improving mass detection without affecting reading time.1 oktober 201

Determinants of survival in very low birth weight neonates in a public sector hospital in Johannesburg

<p>Abstract</p> <p>Background</p> <p>Audit of disease and mortality patterns provides essential information for health budgeting and planning, as well as a benchmark for comparison. Neonatal mortality accounts for about 1/3 of deaths < 5 years of age and very low birth weight (VLBW) mortality for approximately 1/3 of neonatal mortality. Intervention programs must be based on reliable statistics applicable to the local setting; First World data cannot be used in a Third World setting. Many neonatal units participate in the Vermont Oxford Network (VON); limited resources prevent a significant number of large neonatal units from developing countries taking part, hence data from such units is lacking. The purpose of this study was to provide reliable, recent statistics relevant to a developing African country, useful for guiding neonatal interventions in that setting.</p> <p>Methods</p> <p>This was a retrospective chart review of 474 VLBW infants admitted within 24 hours of birth, between 1 July 2006 and 30 June 2007, to the neonatal unit of Charlotte Maxeke Johannesburg Academic Hospital (CMJAH) in Johannesburg, South Africa. Binary outcome logistic regression on individual variables and multiple logistic regression was done to identify those factors determining survival.</p> <p>Results</p> <p>Overall survival was 70.5%. Survival of infants below 1001 grams birth weight was 34.9% compared to 85.8% for those between 1001 and 1500 grams at birth. The main determinant of survival was birth weight with an adjusted survival odds ratio of 23.44 (95% CI: 11.22 - 49.00) for babies weighing between 1001 and 1500 grams compared to those weighing below 1001 grams. Other predictors of survival were gender (OR 3. 21; 95% CI 1.6 - 6.3), birth before arrival at the hospital (BBA) (OR 0.23; 95% CI: 0.08 - 0.69), necrotising enterocolitis (NEC) (OR 0.06; 95% CI: 0.02 - 0.20), hypotension (OR 0.05; 95% CI 0.01 - 0.21) and nasal continuous positive airways pressure (NCPAP) (OR 4.58; 95% CI 1.58 - 13.31).</p> <p>Conclusions</p> <p>Survival rates compare favourably with other developing countries, but can be improved; especially in infants < 1001 grams birth weight. Resources need to be allocated to preventing the birth of VLBW babies outside hospital, early neonatal resuscitation, provision of NCPAP and prevention of NEC.</p